On Modelling Multi-agent Systems Declaratively
نویسندگان
چکیده
We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametric with respect to an input/output semantics for agents, whereby inputs are the agents’ observations, and outputs are their actions. The observations include actions performed by other agents and events happening in the world. We define the semantics of a multi-agent system via a stability condition over the individual agents’ semantics. We instantiate the framework with respect to simple abductive logic agents. We illustrate the framework and the proposed properties by means of a simple example of agent negotiation.
منابع مشابه
On modelling declaratively multi-agent systems
We propose a declarative framework for modelling multiagent systems and specify a number of properties of these systems and agents within them. The framework is parametric with respect to an input/output semantics for agents, whereby inputs are the agents’ observations, and outputs are their actions. The observations include actions performed by other agents and events happening in the world. W...
متن کاملMediating Agents’ Activities in Situated Multi-agent Systems
Situated multi-agent systems are decentralized software systems that consist of autonomous entities (agents) that have an explicit position in the environment. The emphasis of situated agents is on direct coupling of perception to action, modularization of behavior, and dynamic interaction with the environment. These properties make situated multi-agent systems particularly suitable to deal wit...
متن کاملOn the use of multi-agent systems for the monitoring of industrial systems
The objective of the current paper is to present an intelligent system for complex process monitoring, based on artificial intelligence technologies. This system aims to realize with success all the complex process monitoring tasks that are: detection, diagnosis, identification and reconfiguration. For this purpose, the development of a multi-agent system that combines multiple intelligences su...
متن کاملSDML: A Multi-Agent Language for Organizational Modelling
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML, a strictly declarative modelling language which has object-oriented features and corresponds to a fragment of strongly grounded autoepistemic logic. The virtues of SDML include th...
متن کاملWork-Environment Analysis: Environment Centric Multi-agent Simulation for Design of Socio-technical Systems
This paper introduces a new approach to environmental modeling and system simulation for design and analysis of large-scale and open multi-agent systems, specifically socio-technical systems. This Work Environment Analysis (WEA) approach models the environment as a coherent collection of declarative structures, which relate environmental elements through a number of agent oriented perspectives....
متن کامل